ソフトウェアの基礎理論③ 決定性並列プログラムのモデル――並列プログラム形を考え，決定性並列プログラムのモデルを紹介する